x = high
2;
if (z) {
    x = 0;
}
y = x;

out(y);